Programmation par contraintes avec des fourmis
نویسندگان
چکیده
On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche sur le problème d’ordonnancement de voitures.
منابع مشابه
Explications conviviales pour la programmation par contraintes
RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...
متن کاملOptimisation par colonies de fourmis pour la programmation logique étendue
RÉSUMÉ. La Programmation Logique Étendue (Answer Set Programming) est un formalisme particulièrement adapté pour représenter différents problèmes issus de l’Intelligence Artificielle (raisonnement non monotone, planification, diagnostic...). De plus, elle peut être utilisée pour coder de manière concise des problèmes combinatoires. Dans tous les cas, les solutions sont obtenues sous la forme d’...
متن کاملTraduction de spécifications de contraintes d’architecture en composants exécutables
Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...
متن کاملApplying ant colony optimization metaheuristic to solve forest transportation planning problems with side constraints
Forest transportation planning problems (FTPP) have evolved from considering only the financial aspects of timber management to more holistic problems that also consider the environmental impacts of roads. These additional requirements have introduced side constraints, making FTPP larger and more complex. Mixed-integer programming (MIP) has been used to solve FTPP, but its application has been ...
متن کاملInférence de non-terminaison pour les programmes logiques avec contraintes
RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...
متن کامل